Nuprl Definition : ma-compat
0,22
postcript
pdf
A
||+
B
==
A
||
B
& ma-frame-compatible(
A
;
B
)
latex
clarification:
ma-compat{i:l}(
A
;
B
) == ma-compatible{i:l}(
A
;
B
) & ma-frame-compatible(
A
;
B
)
latex
Definitions
P
&
Q
,
M1
||
M2
,
ma-frame-compatible(
A
;
B
)
FDL editor aliases
ma-compat
origin